#ifndef LLVM_DATARANDO_RUNTIME_DATARANDOTYPES_H
#define LLVM_DATARANDO_RUNTIME_DATARANDOTYPES_H

#include <stdint.h>

typedef uint64_t mask_t;

#endif /* LLVM_DATARANDO_RUNTIME_DATARANDOTYPES_H */
